This book provides a thorough treatment of the theory of stochastic max-plus linear systems. Max-plus algebra is an algebraic ...
Lire la suiteThis volume contains a selection of papers presented at the Eighth Workshop on Membrane Computing, WMC8, which took place ...
Lire la suiteThe papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics ...
Lire la suiteModelling and Analysis of Hybrid Supervisory Systems introduces a modelling formalism that merges Petri nets, differential ...
Lire la suiteThis book constitutes the refereed proceedings of the 6th German Conference on Multiagent Systems Technologies, MATES 2008, ...
Lire la suiteThis monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...
Lire la suiteThe book Parallel and Distributed Logic Programming provides a clear introduction to parallel and distributed approach to ...
Lire la suiteParallel and distributed computer systems are built to close the gap between the demand for high-performance computing and ...
Lire la suiteThis book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets ...
Lire la suiteThis book constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets ...
Lire la suiteThe 30 full papers and 11 short papers presented were carefully reviewed and selected from 102 submissions. The conference ...
Lire la suiteThis paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...
Lire la suiteThis book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...
Lire la suiteThis book includes contributions from an interdisciplinary field of research we call Socionics. Based on a close cooperation ...
Lire la suitevolume 2 covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics ...
Lire la suiteThe behavior of many technical systems important in everyday life can be described using discrete states and state-changing ...
Lire la suiteThis book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications ...
Lire la suiteThis volume, the 7th in the Transactions on Computational Systems Biology series, contains a fully refereed and carefully ...
Lire la suiteIt contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
Lire la suiteThis book constitutes the refereed proceedings of the 4th International Conference on Virtual Storytelling, ICVS 2007, held ...
Lire la suite